(0 20 15)(1 19 7)(2 18 4)(3 9 5)(6 16 14)(8 12 10)(11 17 13)
ALLOWS (11/8)-SEQUENCE
1: (0 4 15)
(0)(1 19 7)(2 18 4 20 15)(3 9 5)(6 16 14)(8 12 10)(11 17 13)
2: (1 19 7)
(0)(1)(2 18 4 20 15)(3 9 5)(6 16 14)(7)(8 12 10)(11 17 13)(19)
3: (3 9 5)
(0)(1)(2 18 4 20 15)(3)(5)(6 16 14)(7)(8 12 10)(9)(11 17 13)(19)
4: (2 20 15)
(0)(1)(2)(3)(4 20 18)(5)(6 16 14)(7)(8 12 10)(9)(11 17 13)(15)(19)